PathWithBoundary.agda:17,1-20,16
suc (w + m) != m of type Nat
when checking the definition of PathWithBoundary.with-18
